Svagt matchande rim för математическа логика